dynamic logic
动态逻辑
热门查询
- jacob n. 雅各（以色列人的祖先）；雅各布（男子名）
- Marden [人名] [英格兰人姓氏] 马登住所名称，来源于古英语，含义是“边界+河谷”(boundary+valley)或“边界+山”(boundary+hill)或“母马+草原”(mares+pasture); [地名] [英国] 马登
- requester n. [计] 请求者；请求程序
- analysis n. 分析；分解；验定
- striker n. 罢工者；打击者；[军] 撞针；钟锤；叉鱼的人 n. (Striker)人名；(英)斯特赖克
- Christology n. 基督学
- perennially adv. 永久地
- exile n. 流放，充军；放逐，被放逐者；流犯 vt. 放逐，流放；使背井离乡
- Navratilova n. (Navratilova)人名；(英)纳夫拉蒂洛娃
- insensible adj. 昏迷的；无知觉的；麻木不仁的
- Veneto 威尼托区[意大利行政区名]
- Caxton 卡克斯顿(姓氏, William, 1422?-1491, 英国第一位印刷家)
- fieldhouse n. (Fieldhouse)人名；(英)菲尔德豪斯
- subsystem n. 子系统；次要系统
- apostolate n. 使徒的地位；罗马教皇的职位；倡导地位
- entomological adj. 昆虫学的
- skye n. 匐犬（一种猎狐犬）；斯凯岛（苏格兰西部的岛）
- eastward n. 东部；东方 adj. 向东方的；朝东的 adv. 向东
- vulgaris 寻常的
- PSD abbr. power spectral density 功率谱密度; phase sensitive demodulator 敏感相位解调器; phase sensitive detector 敏感相位探测器; preshipment document 出货档案
考试词汇表
- line broadening method
- line build-out network
- line by line assembler
- line charging capacity
- line charging resistor
- line composing machine
- line congruence theory
- line control character
- line control procedure
- line correction, optic
- line cutting technique
- line deflection system
- line delivery carriage
- line display generator
- line driving amplifier
- line drop compensation
- line echo cancellation
- line echo wave pattern
- line embossing machine
- line fault anticipator
